<!DOCTYPE html>
<link rel="stylesheet" href="stylesheet.css" type="text/css" charset="utf-8" />
<html>

<head>
  <script src="table.js"></script>
  <script src="data/output.js"></script>
  <script src="data.js"></script>
  <script src="index.js"></script>
  <script src="latex.js"></script>
  <script src="utils.js"></script>
</head>

<title>Rules</title>

<body onload="loadRules()">
  <h2 id="domain_name">Bool</h2>
  <div id="all_rules"></div>
  
</body>
